berührt die Spezialgebiete

• Mathematik
  • Topologie
  • Analysis
    • Funktionalanalysis

ist Spezialfall von

• topologischer Raum
  • parakompakter Hausdorff-Raum
    • metrischer Raum

umfasst als Spezialfälle

• Banachraum
  • Hilbertraum

Die Menge der rationalen Zahlen mit der Betragsmetrik (erzeugt vom reellen Absolutbetrag) ist unvollständig. Oben wurde bereits √2 als irrationale Zahl genannt, und die Folge rationaler Zahlen

ist eine Cauchy-Folge, die innerhalb von Q nicht konvergiert, denn ihr Grenzwert ist gerade √2.

Das offene Intervall (0,1), ebenfalls mit der Betragsmetrik, ist ebenfalls nicht vollständig, denn die Cauchy-Folge hat keinen Grenzwert in diesem Intervall. Das abgeschlossene Intervall [0,1] dagegen ist vollständig, der Grenzwert 0 dieser Folge liegt darin.

Der Raum der reellen Zahlen und der der komplexen Zahlen (beide mit der Betragsmetrik) sind beide vollständig, ebenso wie der euklidische Vektorraum Rⁿ. Viele Vektorräume sind vollständig, andere nicht; die vollständigen Vektorräume bezeichnet man Banachräume.

Der Raum der p-adischen Zahlen ist vollständig für jede Primzahl p. Dieser Raum ist die Vervollständigung von Q bezüglich der Metrik des p-adischen Betrags, so wie die Vervollständigung von Q für die Metrik des Absolutbetrags ist.

Ist S eine beliebige nichtleere Menge, dann kann man die Menge S_N aller Folgen in S zu einem metrischen Raum machen, indem man den Abstand zweier verschiedener Folgen (x_n),(y_n) auf den Wert 1 / N setzt, wobei N der kleinste Index ist, für den x_N verschieden ist von y_N, und den Abstand einer Folge von sich selbst auf 0 setzt. Dieser metrische Raum ist dann vollständig (und ultrametrisch ). Er ist homöomorph zu dem Produkt abzählbar vieler Kopien des diskreten Raums S.

Jeder kompakte metrische Raum ist vollständig. Ein metrischer Raum ist kompakt exakt dann, wenn er vollständig und totalbeschränkt ist.

Eine Teilmenge eines vollständigen Raumes ist selbst vollständig exakt dann, wenn sie abgeschlossen ist.

Ist X eine nichtleere Menge, (M,d) ein vollständiger metrischer Raum, dann ist der Raum B(X,M) der beschränkten Funktionen von X nach M ein vollständiger metrischer Raum mit der Metrik

Ist X ein topologischer Raum und M ein vollständiger metrischer Raum, dann ist die Menge C_b(X,M) der beschränkten stetigen Funktionen von X nach M eine abgeschlossene Teilmenge von B(X,M), und als solche vollständig.

Für jeden metrischen Raum M gibt es einen vollständigen metrischen Raum M' , der M als dichten Teilraum enthält. Diesen Raum bezeichnet man eine Vervollständigung von M. Da alle Vervollständigungen von M metrisch isomorph sind, spricht man auch von der Vervollständigung von M.

Die Vervollständigung von M kann man konstruieren als Menge von Äquivalenzklassen von Cauchy-Folgen in M. Für zwei Cauchy-Folgen (x_n)_n und (y_n)_n in M definieren wir ihren Abstand durch

Dieser Abstand existiert, er ist aber ca. eine Pseudometrik , denn verschiedene Cauchy-Folgen können den Abstand 0 haben. Dieses Merkmal, "x,y haben Abstand 0", ist eine Äquivalenzrelation auf der Menge der Cauchy-Folgen, und die Menge aller Äquivalenzklassen M' ist mit diesem Abstandsbegriff ein metrischer Raum, und zwar ein vollständiger. Identifiziert man jedes Element x aus M mit der Äquivalenzklasse der konstanten Folge (x)_n, so erhält man eine isometrische Einbettung von M in M' .

Cantors Konstruktion der reellen Zahlen aus den rationalen ist ein Spezialfall hiervon. Wie oben schon gesagt, erhält man andere metrische Räume Q_p, wenn man statt der gewöhnlichen Betragsmetrik eine p-adische Metrik benutzt und Q vervollständigt.

Vervollständigt man einen normierten Vektorraum, so erhält man einen Banachraum, der den ursprünglichen Raum als dichten Teilraum enthält, und vervollständigt man einen euklidischen Vektorraum, so erhält man einen Hilbertraum, im der ursprüngliche Raum dicht liegt.

Vollständigkeit ist eines Merkmal der Metrik, nicht der Topologie, das heißt, ein vollständiger metrischer Raum kann homöomorph sein zu einem unvollständigen metrischen Raum. Zum Beispiel sind die reellen Zahlen vollständig, aber homöomorph zum offenen Intervall (0,1), das nicht vollständig ist (ein Homöomorphismus von (0,1) nach R ist z.B. tan((x + 1 / 2)π)). Ein anderes Beispiel sind die irrationalen Zahlen, die nicht vollständig sind, aber homöomorph zu dem Raum der natürlichen Zahlenfolgen N^N (ein Spezialfall eines Beispiels von oben).

In der Topologie betrachtet man topologisch vollständige (oder vollständig metrisierbare) Räume, für die mindestens eine Metrik existiert, die die vorhandene Topologie erzeugt. Topologisch vollständige Räume können charakterisiert werden als diejenigen Räume, die sich darstellen lassen als Durchschnitt abzählbar vieler offener Teilmengen eines vollständigen metrischen Raums.